Circulation characteristics of a monsoon depression during BOBMEX-99 using high-resolution analysis

The skill and efficiency of a numerical model mostly varies with the quality of initial values, accuracy on parameterization of physical processes and horizontal and vertical resolution of the model. Commonly used low-resolution reanalyses are hardly able to capture the prominent features associated with organized convective processes in a monsoon depression. The objective is to prepare improved high-resolution analysis by the use of MM5 modelling system developed by the Pennsylvania State University/National Center for Atmospheric Research (PSU/NCAR). It requires the objective comparison of high and low-resolution analysis datasets in assessing the specific convective features of a monsoon depression. For this purpose, reanalysis datasets of NCAR/NCEP (National Center for Atmospheric Research/National Centers for Environmental Prediction) at a horizontal resolution of 2.5° (latitude/longitude) have been used as first guess in the objective analysis scheme. The additional asynoptic datasets obtained during BOBMEX-99 are utilized within the assimilation process. Cloud Motion Wind (CMW) data of METEOSAT satellite and SSM/I surface wind data are included for the improvement of derived analysis. The multiquadric (MQD) interpolation technique is selected and applied for meteorological objective analysis at a horizontal resolution of 30 km. After a successful inclusion of additional data, the resulting reanalysis is able to produce the structure of convective organization as well as prominent synoptic features associated with monsoon depression. Comparison and error verifications have been done with the help of available upper-air station data. The objective verification reveals the efficiency of the analysis scheme

International Graduate Students: Agency, Intentionality, and Socialization Reciprocity

Using grounded theory methodology, this study explored the development and implementation of Cultures and Languages across the Curriculum initiative in a residential college at Michigan State University. With a focus on international graduate students, our investigation led us to knowledge building communities and to patterns of behavior that we have conceptualized as socialization reciprocity. We note two key characteristics of the knowledge-building communities created within the Cultures and Languages across the Curriculum program are agency and intentionality, and these can only be realized by starting from the premise that the contributions of all participants are essential to the community. We argue this is in contrast to the not uncommon assumption that the cultural, linguistic, and pedagogical knowledge of international graduate students is somehow deficient

Aerostructural Optimization of a Transonic Compressor Rotor

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77121/1/AIAA-15397-760.pd

Damage progression in compressively loaded laminates containing a circular cutout

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76038/1/AIAA-10597-113.pd

A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of the axioms characterizing idempotent MGUs of lists of constraints. The axioms that serve as the basis for our verification are derived from a standard set by extending them to lists of constraints. For us, constraints are equalities between terms in the language of simple types. Substitutions are formally modeled as finite maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional induction is the main proof technique used in proving many of the axioms.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Validation of 3D neutronic-thermalhydraulic coupled codes RELAP5/PARCSv2.7 and TRACEv5.0P3/PARCSv3.0 against a PWR control rod drop transient

[EN] In nuclear safety field, neutronic and thermalhydraulic codes performance is an important issue. New capabilities implementation, as well as models and tools improvements are a significant part of the community effort in looking for better Nuclear Power Plants (NPP) designs. A procedure to analyze the PWR response to local deviations on neutronic or thermalhydraulic parameters is being developed. This procedure includes the simulation of Incore and Excore neutron flux detectors signals. A control rod drop real plant transient is used to validate the used codes and their new capabilities. Cross-section data are obtained by means of the SIMTAB methodology. Detailed thermalhydraulic models were developed: RELAP5 and TRACE models simulate three different azimuthal zones. Besides, TRACE model is performed with a fully 3D core, thus, the cross-flow can be obtained. A cartesian vessel represents the fuel assemblies and a cylindrical vessel the bypass and downcomer. Simulated detectors signals are obtained and compared with the real data collected during a control rod drop trial at a PWR NPP and also with data obtained with SIMULATE-3K code.The authors would like to acknowledge the economic support provided by Centrales Nucleares Almaraz-Trillo (CNAT) and IBERDROLA Ingeniería y Construcción (Iberinco) for the realization of this work, and express their great appreciation to Arturo López, Juan Antonio Bermejo and Alberto Ortego for their valuable collaboration and their willingness to develop this work. This work has also been supported by the Spanish Ministerio de Economía y Competitividad, through the projects NUC-MULTPHYS (ENE2012-34585) and VALIUN-3D (ENE2011-22823), and the Generalitat Valenciana (GVA), through the project PROMETEO II/2014/008.Garcia-Fenoll, M.; Mesado Melia, C.; Barrachina, T.; Miró Herrero, R.; Verdú Martín, GJ.; Bermejo, JA.; López, A.... (2017). Validation of 3D neutronic-thermalhydraulic coupled codes RELAP5/PARCSv2.7 and TRACEv5.0P3/PARCSv3.0 against a PWR control rod drop transient. Journal of Nuclear Science and Technology. 54(8):908-919. https://doi.org/10.1080/00223131.2017.1329035S90891954

Language support for immigrant children: a study of state schools in the UK and US

In recent decades, immigrants, refugees and asylum seekers have sought a new way of life in large numbers, often leaving their countries of origin behind in search of places that offer a better way of life. The purpose of this study was to investigate how elementary and middle school students in state schools in Reading, England (primarily speakers of Asian languages), and Richmond, Virginia (primarily speakers of Spanish), were supported academically, when most children’s first language was not English. The authors were interested in exploring whether or not there were cultural or structural differences in the way each country helped or hindered these students as they progressed through the school systems. Three UK schools in a district of approximately 100,000 and three US schools in a district of approximately 250,000 were the focus of this exploration from 2000 to 2003. Findings indicated that there were cultural and legislative differences and similarities. Teachers and administrators in both countries attempted to provide services with limited and sometimes diminishing resources. Community support varied based on resources, attitudes toward various ethnic groups, and the coping strategies adopted by these groups in their new environments. Marked differences appeared with regard to the manner in which assessments took place and how the results were made available to the public

Damage detection and model refinement using elemental stiffness perturbations with constrained connectivity

A new optimal update method for the correlation of dynamic structural finite element models with modal data is presented. The method computes a minimum-rank solution for the perturbations of the elemental stiffness parameters while constraining the connectivity of the global stiffness matrix. The resulting model contains a more accurate representation of the dynamics of the test structure. The changes between the original model and the updated model can be interpreted as modeling errors or as changes in the structure resulting from damage. The motivation for the method is presented in the context of existing optimal matrix update procedures. The method is demonstrated numerically on a spring-mass system and is also applied to experimental data from the NASA Langley 8-bay truss damage detection experiment. The results demonstrate that the proposed procedure may be useful for updating elemental stiffness parameters in the context of damage detection and model refinement